Functorial maximal spectra
نویسندگان
چکیده
منابع مشابه
Extending Obstructions to Noncommutative Functorial Spectra
Any functor from the category of C*-algebras to the category of locales that assigns to each commutative C*-algebra its Gelfand spectrum must be trivial on algebras of n-by-n matrices for n ≥ 3. This obstruction also applies to other spectra such as those named after Zariski, Stone, and Pierce. We extend these no-go results to functors with values in (ringed) topological spaces, (ringed) topose...
متن کاملNo-go theorems for functorial localic spectra of noncommutative rings
Any functor from the category of C*-algebras to the category of locales which assigns to each commutative C*-algebra its Gelfand spectrum must be trivial on algebras of n-by-n matrices for n ≥ 3. The same obstruction applies to the Zariski, Stone, and Pierce spectra. The possibility of spectra in categories other than that of locales is briefly discussed. A recent article [7] by Reyes shows tha...
متن کاملFunctorial ML
We present an extension of the Hindley-Milner type system that supports a generous class of type constructors called functors, and provide a parametrically polymorphic algorithm for their mapping, i.e. for applying a function to each datum appearing in a value of constructed type. The algorithm comes from shape theory, which provides a uniform method for locating data within a shape. The result...
متن کاملSolutions of Functorial and Non-functorial Metric Domain Equations 1
A new method for solving domain equations in categories of metric spaces is studied. The categories CMS and KMS are introduced, having complete and compact metric spaces as objects and-adjoint pairs as arrows. The existence and uniqueness of xed points for certain endofunctors on these categories is established. The classes of complete and compact metric spaces are considered as pseudo-metric s...
متن کاملSolutions of functorial and non-functorial metric domain equations
A new method for solving domain equations in categories of metric spaces is studied. The categories CMS≈ and KMS≈ are introduced, having complete and compact metric spaces as objects and -adjoint pairs as arrows. The existence and uniqueness of fixed points for certain endofunctors on these categories is established. The classes of complete and compact metric spaces are considered as pseudo-met...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2002
ISSN: 0022-4049
DOI: 10.1016/s0022-4049(01)00101-3